حقا إن كل ج د ثم يجعل هذه النتيجة مقدمة شرطية لقياس استثنائي ، ويستثنى نقيض تاليها . فينتج : نقيض مقدمها . هذا بيان صورة قياس الخلف . وأما بيان مادته فهو الاستدلال بامتناع لازم أسد النقيضين ، على امتناع ذلك النقيض ، وبامتناع ذلك النقيض على أن الحق هو النقيض الآخر ، أو ما يكون داخلا فيه . وأما إن رد الخلف إلى المستقيم ، كيف يكون ؟ فمداره على أحد نقيض النتيجة المخالفة وتقرينه مع المقدمة الصادقة التي لا شك فيها ، الينتج : نقيض المحال على حاله . وباللّه التوفيق .